[[Glossary of categories]]
# Trivial category

The **trivial category** $\underline 1$ is the [[Initial and terminal objects|terminal object]] of [[Category of small categories]].
It consists of a single object $0$ with a single morphism $\id_{0}$.

#
---
#state/tidy | #lang/en | #SemBr